Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
151	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
152	Experiencing ASP with real world applications G. Terracina1 , E. De Francesco1 , C. Panetta1 , N. Leone1 Dipartimento di Matematica, Universit`a della Calabria, IRende (CS), Italy terracina,defrancesco,panetta,leo Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-25 04:19:04 Data management Computing SQL keywords Software Query languages Logic programming Datalog Null Join Stable model semantics Database K
153	PyHVL 0.3 PyHVL A verification tool developed by Add to Reading List Source URL: pyhvl.sourceforge.net Language: English - Date: 2007-08-31 15:17:59 Software engineering Computer programming Computing Hardware description languages Scripting languages Hardware verification languages Verilog Logic design Verilog Procedural Interface Callback Immutable object Python
154	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
155	An Introduction to Online and O ine Partial Evaluation Using a Simple Flowchart Language John Hatcli ? Department of Computing and Information Sciences Kansas State University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Software engineering Computer programming Computing Flow chart language Edsger W. Dijkstra Logic in computer science Programming language semantics LOOP Operational semantics Goto Tcl ECL programming language
156	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
157	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
158	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
159	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
160	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic